41. Automorphisms of first-order structures
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Model theory,، Permutation groups,، Automorphisms
رده :
QA
9
.
7
.
A98
1994
42. Automorphisms of first-order structures
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Model theory,، Permutation groups,، Automorphisms
رده :
QA
9
.
7
.
A98
1994
43. Automorphisms of first-order structures
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Permutation groups,، Automorphisms
رده :
QA
9
.
7
.
A96
44. Automorphisms of first-order structures /
پدیدآورنده : edited by Richard Kaye and Dugald Macpherson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automorphisms,Model theory,Permutation groups
رده :
QA9
.
7
.
A98
1994
45. Automotive model predictive control
پدیدآورنده : / edited by Luigi del Re ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Automatic control, Congresses,Control theory, Congresses,Automotive model predictive control
رده :
E-BOOK
46. Automotive model predictive control
پدیدآورنده : edited by Luigi del Re ... [et al.]&
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Automatic control, Congresses,Control theory, Congresses,Automotive model predictive control
47. Automotive model predictive control models, methods and applications
پدیدآورنده : edited by Luigi del Re ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Automatic control, Congresses,، Control theory, Congresses,، Automotive model predictive control
رده :
TJ
212
.
2
.
A972
2010
48. Basic model theory
پدیدآورنده : Doets, Kees
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
D62
49. Basic model theory /
پدیدآورنده : Kees Doets
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Model theory
رده :
QA9
.
7
.
D64
1996
50. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
51. Beyond first order model theory
پدیدآورنده : edited by Jose Iovino
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
B49
52. Beyond standard model phenomenology at the LHC
پدیدآورنده : de Aquino, Priscila, Priscila de Aquino
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Standard model )Nuclear physics(,، Physics,، Elementary Particles, Quantum Field Theory
رده :
QC
53. Beyond the standard model, November 18-20, 1988 Iowa State University Ames, Iowa
پدیدآورنده : edited by Kerry Whisnant and Bing-Lin Young
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Standard model )Nuclear physics(,Congresses ، Particles )Nuclear physics(,Congresses ، Phenomenological theory )Physics(
رده :
QC
794
.
6
.
S75B46
1988
54. Bounded variable logics and counting
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory. ; Computational complexity. ;
55. Bounded variable logics and counting : a study in finite models
پدیدآورنده : Otto, Martin, 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Computational complexity
رده :
QA
9
.
A1L44
Vol
.
9
56. Building models by games
پدیدآورنده : Hodges, Wilfrid.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory,، Game theory
رده :
QA
9
.
7
.
H63
1985
57. Categoricity /
پدیدآورنده : John T. Baldwin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Completeness theorem,Model theory
رده :
QA9
.
67
.
B35
2009
58. Categoricity
پدیدآورنده : Baldwin, John T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Completeness theorem,، Model theory
رده :
QA
9
.
67
.
B25C3
59. Classification theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Badwin )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Model theory - Congresses
رده :
QA
3
.
L28
no
.
1292
60. Classification theory and the number of non-isomorphic models
پدیدآورنده : Shelah, Saharon.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
S53
1990
